Consequential implication. A correction to: ``Decision procedures for logics of consequential implication''.

Conditional Excluded Middle in Systems of Consequential Implication

It is natural to ask under what conditions negating a conditional is equivalent to negating its consequent. Given a bivalent background logic, this is equivalent to asking about the conjunction of Conditional Excluded Middle (CEM, opposite conditionals are not both false) and Weak Boethius’ Thesis (WBT, opposite conditionals are not both true). In the system CI.0 of consequential implication, w...

Fibred Tableaux for Multi-Implication Logics

Kripke Semantics for Logics with Bck Implication

We present Kripke semantics for some substructural logics with weakening, known as logics with BCK implication. This work is a continuation of the work of Allwein and Dunn on Kripke semantics for Linear Logic, which in turn rested on Dunn’s Gaggle Theory and on Urquhart’s Representation Theory for nondistributive lattices. The basic idea in the representation theory is to use maximally disjoint...

The consequential validity of ABFM examinations.

Measurement scholar Samuel Messick, defines validity as “an integrated evaluative judgment of the degree to which empirical evidence and theoretical rationales support the adequacy and appropriateness of inferences and actions based on test scores. . . ” (p. 13). Messick’s definition of validity differed from those of previous validity theorists in that he acknowledged that test scores often af...

Consequential Validity of the Implicit Association Test

Numeric values of psychological measures often have an arbitrary character before research has grounded their meanings, thereby providing what S. J. Messick (1995) called consequential validity (part of which H. Blanton and J. Jaccard, 2006, this issue, now identify as metric meaningfulness). Some measures are predisposed by their design to acquire meanings easily, an example being the sensitiv...